1. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : توابع محاسبهپذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
2. The semantic foundations of logic
پدیدآورنده : / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,Logic,symbolic and mathematical,Semantics
رده :
160
E64s
